| author | Michael Albinus <michael.albinus@gmx.de> | |
| Sat, 22 Dec 2018 13:18:59 +0000 (14:18 +0100) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Sat, 22 Dec 2018 13:18:59 +0000 (14:18 +0100) | ||
| commit | 29310168310e807d289e789a1134df95c366d133 | |
| tree | fb8350b784bb4cccaaeef08fbf374f043b7303dd | tree | snapshot |
| parent | 85516b8cc8a6c5767ab29917556f5b30b4482b73 | commit | diff |
| etc/NEWS | diff | blob | history |